POLYESTERCARBONATES: A NEW CLASS OF HIGH PERFORMANCE THERMOPLASTICSPREVORSEK DC; KESTEN Y; DEBONA B et al.1978; ACS-JCS MEETING/1978/HONOLULU HI; USA; DA. 1978; VOL. 20; NO 1; PP. 187-190Conference Paper

THERMOPLASTIC ELASTOMERS BASED ON POLYSILOXANESMORTON M; KESTEN Y; FETTERS LJ et al.1975; APPL. POLYM. SYMP.; U.S.A.; DA. 1975; NO 26; PP. 113-121; BIBL. 14 REF.; (POLYM. POLYCONDENS. PROCESSES. SYMP. PART OF 169TH NATL. MEET. AM. CHEM. SOC.; PHILADELPHIA, PA.; 1975)Conference Paper

Verifying liveness by augmented abstractionKESTEN, Y; PNUELI, A. A.Lecture notes in computer science. 1999, pp 141-156, issn 0302-9743, isbn 3-540-66536-6Conference Paper

A perfecto verification : Combining model checking with deductive analysis to verify real-life softwareKESTEN, Y; KLEIN, A; PNUELI, A et al.Lecture notes in computer science. 1999, pp 173-194, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Verification of clocked and hybrid systemsKESTEN, Y; MANNA, Z; PNUELI, A et al.Lecture notes in computer science. 1998, pp 4-73, issn 0302-9743, isbn 3-540-65193-4Conference Paper

Modularization and abstraction : The keys to practical formal verificationKESTEN, Y; PNUELI, A.Lecture notes in computer science. 1998, pp 54-71, issn 0302-9743, isbn 3-540-64827-5Conference Paper

Symbolic model checking with rich assertional languagesKESTEN, Y; MALER, O; MARCUS, M et al.Lecture notes in computer science. 1997, pp 424-435, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Verification of clocked and hybrid systemsKESTEN, Y; MANNA, Z; PNUELL, A et al.Acta informatica. 2000, Vol 36, Num 11, pp 837-912, issn 0001-5903Article

Symbolic model checking with rich assertional languagesKESTEN, Y; MALER, O; MARCUS, M et al.Theoretical computer science. 2001, Vol 256, Num 1-2, pp 93-112, issn 0304-3975Article

Algorithmic verification of linear temporal logic specificationsKESTEN, Y; PNUELI, A; RAVIV, L.-O et al.Lecture notes in computer science. 1998, pp 1-16, issn 0302-9743, isbn 3-540-64781-3Conference Paper